Function representation - PDFSEARCH.IO - Document Search Engine

Function representation
Results: 315

#	Item
151	COSMIC based on Sequence Diagrams COSMIC Functional Sizing based on UML Sequence Diagrams Thomas M. Fehlmann, Eberhard Kranich Euro Project Office AG, Zurich, Switzerland T-Systems International GmbH, Bonn, Germany Add to Reading List Source URL: www.e-p-o.com Language: English - Date: 2013-05-18 11:09:20 Software metrics Knowledge representation Unified Modeling Language Subscriber identity module Software sizing Function point Object-oriented design User story Software development methodology Software development Software Diagrams
152	From the introduction to The Combinatory Programme by E. Engeler Add to Reading List Source URL: www.math.ethz.ch Language: English - Date: 2000-07-25 10:14:32 Lambda calculus Functions and mappings Combinatory logic Abstract algebra Algebraic structures Function Universal algebra Representation theory Outline of algebraic structures Mathematics Mathematical logic Theoretical computer science
153	Assuming Facts Are Expressed More Than Once Justin Betteridge and Alan Ritter and Tom Mitchell Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA, USA {jbetter, rittera, tom.mitchell}@cs.cmu.edu Add to Reading List Source URL: rtw.ml.cmu.edu Language: English - Date: 2014-08-18 13:51:53 Completeness Knowledge representation Mereology Function If and only if Precision and recall Mathematics Science Mathematical logic
154	FRAIGs: A Unifying Representation for Logic Synthesis and Verification Alan Mishchenko, Satrajit Chatterjee, Roland Jiang, Robert Brayton Department of EECS, University of California, Berkeley {alanmi, satrajit, jiejiang Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-04-01 15:19:32 Boolean algebra Diagrams Digital electronics And-inverter graph Binary decision diagram Logic optimization Model checking Boolean function Logic synthesis Electronic engineering Electronic design automation Formal methods
155	Scalable Distributed Reasoning using MapReduce Jacopo Urbani, Spyros Kotoulas, Eyal Oren, and Frank van Harmelen Department of Computer Science, Vrije Universiteit Amsterdam, the Netherlands Abstract. We address the pro Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2009-08-14 02:46:41 Knowledge representation Concurrent computing Knowledge engineering RDF Distributed computing architecture MapReduce RDF Schema Semantic reasoner Function Semantic Web Computing Information
156	PROOF COPY 016611PHF PHYSICS OF FLUIDS 18, 1 共2006兲 The evaluation of the far-field integral in the Green’s function representation 2 for steady Oseen flow Add to Reading List Source URL: usir.salford.ac.uk Language: English - Date: 2010-08-04 14:10:01 Physics Oseen equations Carl Wilhelm Oseen Batchelor vortex
157	Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study (Early Innovation) David Landén∗ Fredrik Heintz Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:34:42 Search algorithms Knowledge representation Tree B-tree Contract Net Protocol Backjumping Memory management Heuristic function Information science Artificial intelligence Constraint programming Computing
158	Kuta Software - Infinite Algebra 2 Name___________________________________ Function Operations Add to Reading List Source URL: www.kutasoftware.com Language: English - Date: 2012-09-05 11:51:43 Mathematical series Algebra Polynomials Oscillator semigroup Representation theory Formal power series Mathematical analysis Mathematics Calculus
159	Signature Based Duplication Detection in Digital Libraries L. Padmasree, Vamshi Ambati, J. Anand Chandulal, M. Sreenivasa Rao Department of Electronics & Communication Engineering, VNRVJ Institute of Engg & Technology, H Add to Reading List Source URL: www.ulib.org Language: English - Date: 2012-05-07 11:46:26 Search algorithms Natural language processing Data management Knowledge representation Metadata Technical communication Jaccard index Nearest neighbor search Hash function Information science Science Information
160	A COMPARISON OF AUTOMORPHIC AND ARTIN L-SERIES OF GL(2)-TYPE AGREEING AT DEGREE ONE PRIMES KIMBALL MARTIN AND DINAKAR RAMAKRISHNAN To James Cogdell, with friendship and admiration Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2014-12-16 23:22:03 Class field theory Automorphic forms Representation theory of Lie groups Algebraic number theory Langlands program Artin L-function Representation theory Algebraic number field Multiplicity-one theorem Abstract algebra Algebra Mathematics

UPDATE